#ifndef __HAVE_ISR_H
#define __HAVE_ISR_H

#include <types.h>

void isr_install();

#endif /* __HAVE_ISR_H */
